// RUN: tco %s | FileCheck %s

func.func @test_box_typecode(%a: !fir.class<none>) -> i32 {
  %0 = fir.box_typecode %a : (!fir.class<none>) -> i32
  return %0 : i32
}

// CHECK-LABEL: @test_box_typecode(
// CHECK-SAME: ptr %[[BOX:.*]]) 
// CHECK: %[[GEP:.*]] = getelementptr { ptr, i{{.*}}, i{{.*}}, i{{.*}}, i{{.*}}, i{{.*}}, i{{.*}} }, ptr %[[BOX]], i32 0, i32 4
// CHECK: %[[TYPE_CODE:.*]] = load i32, ptr %[[GEP]]
// CHECK: ret i32 %[[TYPE_CODE]]
